#include<stdio.h>
void main()
{
	char a,b;
	a=getchar();
	b=getchar();
	putchar(a+32);
	putchar(b+32);
	putchar('\n');

}